A Deductive System for Non-Monotonic Reasoning
نویسندگان
چکیده
Disjunctive Deductive Databases (DDDBs) | function-free disjunctive logic programs with negation in rule bodies allowed | have been recently recognized as a powerful tool for knowledge representation and commonsense reasoning. Much research has been spent on issues like semantics and complexity of DDDBs, but the important area of implementing DDDBs has been less addressed so far. However, a thorough investigation thereof is a basic requirement for building systems which render previous foundational work on DDDBs useful for practice. This paper presents the architecture of a DDDB system currently developed at TU Vienna in the FWF project P11580-MAT \A Query System for Disjunctive Deductive Databases".
منابع مشابه
DisLog { A System for Reasoning in Disjunctive Deductive Databases
DisLog is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all{result inference capabilities. Several basic operators are provided for logical and non{monotonic reasoning: The logical consequence operator derives all logically implie...
متن کاملDISLOG – A Disjunctive Deductive Database Prototype
DISLOG is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all–result inference capabilities. Several basic operators are provided for logical and non–monotonic reasoning: The logical consequence operator derives all logically implie...
متن کاملInheritance with Overriding Without Non-monotonic Reasoning
We present a query language, called the Datalog, for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirable, an alternative method for capturing these two features in Datalog based on the idea of program transformation and compilation is proposed. A reduction technique for Datalog programs to Datalog is discussed. The eleganc...
متن کاملExtending Classical Logic with Inductive De nitions
The goal of this paper is to extend classical logic with a generalized notion of inductive deenition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic reasoning, logic programming and deductive databases, and to show its application for knowledge representation by giving a typology of deenition...
متن کاملA Sequent Calculus for Intuitionistic Default Logic
Current research on non-monotonic reasoning shows growing interest on implementation details, so the need for concrete calculi formalizing non-monotonic logics is clearly recognized. On the other hand, there is also an increased number of works combining intuitionistic logic with various kinds of non-monotonic formalisms. As a case in point, intuitionistic versions of both default and autoepist...
متن کامل